Automated Black-Box Testing with Abstract VDM Oracles
نویسنده
چکیده
In this paper the possibilities to automate black-box testing through formal requirement specifications are explored. More precisely, the formal method VDM (Vienna Development Method) serves to demonstrate that abstract requirement models can be used as test oracles for concrete software. The automation of the resulting testing frame-work is based on modern CASE-tools that support a light-weight approach to formal methods. The specification language used is VDMSL, but the results are easily transferred into similar model oriented methods such as B, Z or RAISE.
منابع مشابه
Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing
As the complexity of applications and therefore of their testing process grows, the importance of automating the testing activity increases. The testing process includes test case generation, test sequencing, oracle construction, test execution, and results interpretation. Automatic generation of test cases from formal specifications has received considerable attention. Relatively little work h...
متن کاملA framework for practical, automated black-box testing of component-based software
This paper outlines a general strategy for automated black-box testing of software components that includes: automatic generation of component test drivers, automatic generation of black-box test data, and automatic or semi-automatic generation of component wrappers that serve as test oracles. This research in progress unifies several threads of testing research, and preliminary work indicates ...
متن کاملData and Control Flow Analysis of VDMμ Specifications
Formal Specification languages are being widely used for system specification and testing. Highly critical systems such as real time systems, avionics, and medical systems are represented using Formal specification languages. Formal specifications based testing is mostly performed using black box testing approaches thus testing only the set of inputs and outputs of the system. The formal specif...
متن کاملExecutable Speci cations in Software Reliability Engineering
Bernhard K. Aichernig Technical University Graz, Institute for Software Technology (IST), M unzgrabenstr. 11/II, A-8010 Graz, Austria E-mail: [email protected] In the Handbook of Software Reliability, Lyu mentions the use of formal methods for fault removal [9]: \When formal methods are in full swing, formal design proofs might be available to achieve mathematical proof of correctnes...
متن کاملProgrammatic Testing of the Standard Template Library Containers
This paper describes part of an STL conformance test suite currently under development. Test suites for all of the STL containers have been written, demonstrating the feasibility of thorough and highly automated testing of industrial component libraries. We describe affordable test suites that provide good code and boundary value coverage, including the thousands of cases that naturally occur f...
متن کامل